3.9.1 Language Reference

3.9.1 Language Reference

Our developed translator takes MDL files which denote Stateflow diagrams in a textual format. A Stateflow diagram can consist of graphical objects, such as states, transitions and junctions, and textual objects, e.g., events, actions, and data. The way of defining those objects is described in Stateflow user's guide [Mat09].